Pro le - Guided Context - Sensitive Program Analysis

Interprocedural analyses can be classiied as either context-insensitive, which tend to sacri-ce precision to gain eeciency, or context-sensitive, which are more precise but also more expensive. This paper discusses a proole-guided approach to interprocedural analysis that is context-sensitive, and hence more precise, for the \important" call sites for a function, and context-insensitive, and hence more eecient, for the \unimportant" call sites. Experiments indicate that this approach can be signiicantly more eecient than a traditional context-sensitive analysis without sacriicing much of the pragmatic value of the dataaow information gathered.